// $Id$
// vim:ft=javascript

// If your extension references something external, use ARG_WITH
// ARG_WITH("pushgateway", "for pushgateway support", "no");

// Otherwise, use ARG_ENABLE
// ARG_ENABLE("pushgateway", "enable pushgateway support", "no");

if (PHP_PUSHGATEWAY != "no") {
	EXTENSION("pushgateway", "pushgateway.c");
}

